Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
851	Socially Responsive, Environmentally Friendly Logic Samson Abramsky Oxford University Computing Laboratory Abstract We consider the following questions: What kind of logic has a natural semantics in Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:33:53 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
852	UNIQUENESS OF LIMIT MODELS IN CLASSES WITH AMALGAMATION ´ VILLAVECES Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2012-01-31 10:32:37 Logic Abstract elementary class Rami Grossberg Model theory
853	Introduction Arrangements O-minimal Structures Admissible Sets Results Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2007-02-06 05:07:12 Geometry Model theory O-minimal theory Topology Combinatorics Betti number Algebraic variety Mathematics Abstract algebra Real algebraic geometry
854	EXCELLENT ABSTRACT ELEMENTARY CLASSES ARE TAME RAMI GROSSBERG AND ALEXEI S. KOLESNIKOV Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2005-09-09 15:49:20 Rami Grossberg Logic Mathematics Forking extension Model theory Abstract elementary class
855	Homotopy Theory of Higher Categories Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2010-01-22 15:53:50 Topology Mathematics Model category Simplicial set Higher category theory Quillen adjunction Nerve Algebraic topology Cofibration Homotopy theory Category theory Abstract algebra
856	The Expected-Outcome Model of T"vo-Player Games Bruce Abramson Add to Reading List Source URL: academiccommons.columbia.edu Language: English - Date: 2011-12-15 08:02:18 Game artificial intelligence Search algorithms Game theory Decision theory Abstract strategy games Minimax Computer chess Mathematical model Chess Mathematics Games Applied mathematics
857	? W H A T Add to Reading List Source URL: www.ams.org Language: English - Date: 2011-07-18 11:03:57 Algebraic geometry Homotopy theory Scheme theory Algebraic topology Cotangent complex Moduli space Nerve Model category Sheaf Abstract algebra Algebra Category theory
858	Algebraic K-Theory and Equivariant Homotopy Theory Vigleik Angeltveit (Australian National University), Andrew J. Blumberg (University of Texas at Austin), Teena Gerhardt (Michigan State University), Michael Hill Add to Reading List Source URL: www.birs.ca Language: English - Date: 2012-09-19 16:31:38 Homotopy theory Spectrum Assembly map Homotopy category Michael Atiyah Cohomology Algebraic K-theory Homotopy Model category Topology Abstract algebra Algebraic topology
859	K-Theory[removed]), [removed]by Kluwer Academic Publishers. Add to Reading List Source URL: folk.uio.no Language: English - Date: 2010-01-25 04:50:03 Topology Mathematics Equivalence of categories Simplicial set Algebraic K-theory Exact functor Cofibration Model category Waldhausen category Abstract algebra Homotopy theory Category theory
860	arXiv:1001.2282v4 [math.KT] 5 Feb 2013 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-06 22:10:52 Algebra Model category Algebraic topology Homotopy category Quillen adjunction Simplicial set Equivalence of categories Homotopy group Motive Abstract algebra Topology Homotopy theory

UPDATE